Computer-assisted proof - PDFSEARCH.IO - Document Search Engine

Computer-assisted proof
Results: 16

#	Item
11	On a computer assisted proof of eigenvalues below the essential spectrum of the Sturm-Liouville problem B.M.Brown, D.K.R.Mc Cormack Department of Computer Science, Cardiff University of Wales, Cardiff, PO Box 916, Cardif Add to Reading List Source URL: www.math.niu.edu Language: English - Date: 2006-08-09 15:33:03 Spectral theory Operator theory Ordinary differential equations Matrix theory Sturm–Liouville theory Eigenvalues and eigenvectors Spectrum Trigonometric functions Self-adjoint operator Algebra Mathematics Linear algebra
12	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 6, Number 3, May 1982 A COMPUTER-ASSISTED PROOF OF THE FEIGENBAUM CONJECTURES Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2013-12-22 12:53:20 Mathematical analysis Banach fixed-point theorem Topology Mathematics
13	TRENDS IN MATHEMATICS THE DEATH OF PROOF Add to Reading List Source URL: www.math.uh.edu Language: English - Date: 2011-03-22 01:03:23 Philosophy of mathematics Proof theory Logical syntax Model theory Computer-assisted proof Mathematical proof Theorem Mathematician William Thurston Mathematics Logic Mathematical logic
14	SDLXLIFF in Word Proof-reading SDLXLIFF files in MS Word Add to Reading List Source URL: www.loctimize.com Language: English Installation software Computer file formats Translation software SDL Trados Computer-assisted translation Markup languages Windows Installer XLIFF Translation memory Computing System software Software
15	WHITHER MATHEMATICS? E.B. Davies 15 December 2004 Add to Reading List Source URL: www.mth.kcl.ac.uk Language: English - Date: 2004-12-17 11:21:14 Proof theory Philosophy of mathematics Formal methods Logic in computer science Computer-assisted proof Mathematical proof Axiomatic system Theorem Undecidable problem Mathematics Logic Mathematical logic
16	18 Unconventional Essays on the Nature of Mathematics Add to Reading List Source URL: www.bgc-jena.mpg.de Language: English - Date: 2007-10-22 09:13:11 Kepler conjecture Foundations of mathematics Mathematical practice Imre Lakatos Mathematical object Theorem Mathematician Proofs and Refutations Computer-assisted proof Mathematics Philosophy of mathematics Mathematical proof